indices (
  (i = 1 -- 2)
)

cevidence (
  (o_1 = 5)
)

bevidence (
  (b_1 = true)
)

query (x_2)
